反向演绎从待证目标出发，又称归结原理。利用Horn子句进行推理，使用的是什么样的搜索方法（）：A 深度优先搜索B 广度优先搜索C 深度优先搜索和广度优先搜索都不是 D 深度优先搜索和广度优先搜索都可以

点击这里，查看本门网课答案